dynamic logic造句

• A multi - action commitments approach based on dynamic logic
  基于动态逻辑的多动作承诺机制
• In dynamic content generation technology , content and logic are combined : in every page there is a mix of static content and dynamic logic that work together to create the final result , usually using run - time or time - dependent input
  在动态内容生成技术中，内容和程序逻辑是混在一起的：在每一个页面，需要混合静态内容和动态逻辑一起工作最终生成终端结果，通常要利用运行时或者时间相关的输入。
• By describing the static physical structure and the dynamic logic relationship , this paper explains network resources model and introduces in detail the design of the important components : the resources model management component and resources object management component
  然后,通过对静态物理结构的描述和动态逻辑关系的描述,详细说明了网络资源模型;并详细介绍了作为子系统重要组成部分的资源模型管理模块和资源对象管理模块的设计。
• This paper presents the conversion from dynamic logic gate to markov chain , the solution of dynamic subtree top event failure probability and the method of obtaining the failure mode of subsystem using markov model , that is sequence cutsets of the dynamic subtree . the typical approach to importance analysis of component is impractical for large systems in markov model , so this paper also provides a simple and intuitionistic graph solution based on markov chain
  论文研究了动态逻辑门向马尔可夫链的转化方法，利用马尔可夫链法求解动态子树顶事件概率，以及通过马尔可夫状态转移图直接找出子系统的故障模式和薄弱环节，即得到动态子树的顺序割集。